Free/Inexpensive FPGA and HDL Education Resources

Books

My favorite textbook so far is RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability by Dr. Chu.I believe that even Verilog users would benefit from it.
Verilog HDL (2nd Edition) is a good and popular introduction to the Verilog language.
FPGA Prototyping by Verilog Examples (Xilinx Spartan3 Version) I am enjoying right now. Not just a guide to Verilog the language, it's written to get you coding into an FPGA chip, and has coding guidelines that I haven't seen in language books such as the popular Verilog HDL by Palnitkar.
FPGA Prototyping by VHDL Examples (Xilinx Spartan3 Version) looks to be the VHDL "port" of the Verilog book above.
FPGA-Based Prototyping Methodology Manual by Synopsys/Xilinx can be had for free for current Synopsys customers, or you can buy it at Amazon.
High-Level Synthesis Blue Book talks about using C/C++ for chip design. Reviews say there's an inexpensive ebook version and a now out of print cheap paperback. As this is a mentor Graphics employee book, there's some possibility it may become a free ebook as was the case with their BGA breakout book after I bought that one. Reviews do say the book is rather focused on Mentor tools, though that may be expected from one of their employees. They have a Webinar to accompany this book.
Hardware Verification using SystemVerilog seems to be viewable online.
OVM Cookbook is available for free online as well as in print form.
SiMantis has a monthly drawing to win one of their verification books about SystemVerilog/OVM, e, or e for Japanese.

Magazines

Chip Design is a magazine about design methodologies, SoCs, low power, HDLs, EDA tools, book reviews, etc.
EDA Tech Forumhas a Tech Design Forum magazine/journal
All Programmable Planet is an online magazing about FPGAs and other programmable logic.

Webinars/Tutorials

Aldec has webinars for SystemC, Verilog, SystemVerilog and VHDL. They also have downloadable tutorials for SystemC , Verilog, SystemVerilog and VHDL.
Doulos has tutorials on VMM, OVM, UVM, Verilog, VHDL, and SystemC.
Cadence has a couple sets of webinars, set1 and set2, which include topics such as UVM, Migrating from VMM to UVM, Creating SystemC Models, SystemC TLM Model Coverage, and SystemC Synthesis.
Mentor has a variety of Webinars such as HDL Code Checking Standards (ie for DO-254) I'd like to find something about example DO-254 coding rules, but it seems every site is kindof "for aerospace personnel ONLY, all others keep out".
SystemC Intro by Electrosofts.
A presentation on SystemC 2.0 and Cadence tools, and other presentations from European SystemC Users Group
OVL tutorials from Verification Academy and from Asic World

Courses

ECE613 HW/SW CoDesign talks about SystemC, combining Verilog design with SystemC environment, etc. I can't see the slides directory they link to, but here's a direct link to an intro to SystemC powerpoint and System Level Modelling there.
Berkeley ee249 Embedded Systems Design: Models, Validation, and Synthesis is a directory of course stuff. Lecture notes are in the lectures dir, the lectures.html files don't work.
University of California Riverside SystemC Lab talks about using SystemC with MS Visual C++ 6.0 and has some lab exercises.
Amsterdam Advances in Computer Architecture is a set of course notes/slides/etc. by a previous teacher of the course.
Amsterdam Concurrent Systems is
MIT OpenCourseware
*** 6.111 Introductory Digital Systems Laboratory uses FPGAs and Verilog and talks about State Machines and other stuff
- 6.375 Complex Digital Systems talks about high-level synthesis/design in BlueSpec. ("new", commercial BlueSpec, not "old/classic" Bluespec)
Forte Design Systems offers a free SystemC training course.
Udacity cs348 Functional Hardware Verification which talks aboutHow to Verify Chips and Eliminate Bugs.
HampsterWorks has a free online FPGA course and at Github
Udemy has an inexpensive VHDL course using FPGA

Articles

The Ten Edits I Make Against Most IP (And Wish I Didn't Have To)
A Thesis about Design and Verification of Wishbone Bus Interface for SOC Integration (additional theses by department/subject)
Thesis about Development of Open Verification IP for i2c Controller
Thesis about OVM Compliant Verification for a Wishbone Compatible i2c Master Controller Core
Thesis about Design of an FPGA-Based Lithium-ion Battery Charger System
Embecosm has some papers about using open-source tools with open-source designs.
Sunburst Design has a number of papers on Verilog and SystemVerilog design.
Sutherlan HDL also has a number of papers on Verilog and SystemVerilog.
Aldec has a number of Whitepapers about RTL design, HDL languages, and related topics.
Design and Reuse is a group of Blogs dedicated to topics of interest for FPGA/ASIC/SoC type projects.
Jasper Design Automation has some whitepapers.
SoC Central has information such as whitepapers, lists of technical books, articles, etc.
FPGA and Programmable Logic Journal is an online magazine style site.
Tech Design Forum article Firmware Verification using SystemVeriolog OVM.
Here's a paper on the suprising complexity of doing a `include in Verilog.
Using gdb to debug a processor running inside an Icarus Verilog simulation.
Custom Hardware Modelling for FPGAs and Embedded Linux Platforms with Qemu.
Design and Analysis of Dynamically Configurable Bus Arbiters for SoCs

Forums

Designers Guide Community has forums and other resources that may be useful to HDL design and simulation.
Overmapped is a forum about FPGA and HDL development.
SemiWiki looks like a new site with potential, but I don't see much there just yet.

DVDs

Other Resources

Xilinx has a Simulation and Synthesis Design Guide, the current version 14.4 is here.
ASIC Labs has a variety of labs/tutorials about Digital Design, Verilog, Soc, EDA tools, and will also have discussion forums
Sutherland HDL has an online Verilog quick reference page.
Angelire has a 37 page "quick reference" for Verilog.
Here is a quick reference card for SystemC.
Also search on Sourceforge, GitHub, Google Code, BerliOS, CodeHaus, etc. for Verilog and VHDL tools, IPs and stuff.
This page lists a lot of SystemC educational resources.
Open-Source and other freely obtainable IP code
- OpenCores hosts a variety of open-source RTL cores and tools.
- ASICSws offers free IP, though most are already on opencores.
- Free Model Foundary hosts free models and links to others as well.
- ChipForge has a library of items for examples/usage.
- Sourceforge has a couple IPs such as a DVI Encoder, ZPU SoC, OpenVGA, Verilog Raytracing Algorithm, 32bit ALU, Spark8 processor,
- Google Code hosts a few things as well such as Wishbone/AMBA memory controller, x86 CPU, AES crypto,
- Young Engineering has simulation models available.
- SysWip has free online verification code.
- Here is a list of open-source processor cores.
- A free Floating Point maths library is available from Northeastern University.
- osvvip is an as yet empty repository of free SystemVerilog test IPs.
- SystemVerilog Testbench has a couple free SystemVerilog IPs.
- ScSoc is a System-on-Chip in SystemC. (need to verify I understand their description correctly.)
- libhdlfltp provides floating point maths such as from math.h in VHDL.
- Some SystemC examples
- Some VHDL/Verilog examples at google code.
- This forum discussion talks about arbiters and has example code.

-d APBTRACE -FLASH_BOOT